Incremental Checking of OCL Constraints through SQL Queries
نویسندگان
چکیده
We propose a new method for efficiently checking OCL constraints by means of SQL queries. That is, an OCL constraint is satisfied if its corresponding SQL query returns the empty set. Such queries are computed in an incremental way since, whenever a change in the data occurs, only the constraints that may be violated because of such change are checked and only the relevant values given by the change are taken into account. Moreover, the queries we generate do not contain nested subqueries nor procedures. In this way, we take advantage of relational DBMS capabilities and we get an efficient check of OCL constraints.
منابع مشابه
Incremental Evaluation of OCL Constraints
Integrity checking is aimed at determining whether an operation execution violates a given integrity constraint. To perform this computation efficiently, several incremental methods have been developed. The main goal of these methods is to consider as few of the entities in an information base as possible, which is generally achieved by reasoning from the structural events that define the effec...
متن کاملIncremental Integrity Checking in Uml/ocl Conceptual Schemas
Integrity constraints play a fundamental role in the definition of conceptual schemas (CSs) of information systems. An integrity constraint defines a condition that must be satisfied in each state of the information base (IB). Hence, the information system must guarantee that the state of the IB is always consistent with respect to the integrity constraints of the CS. This process is known as i...
متن کاملIncremental integrity checking of UML/OCL conceptual schemas
Integrity constraints play a key role in the specification and development of software systems since they state conditions that must always be satisfied by the system at runtime. Therefore, software systems must include some kind of integrity checking component that ensures that all constraints still hold after the execution of any operation that modifies the system state. Integrity checking mu...
متن کاملA UML/OCL Framework for Design of Mediated Data Federations
This paper describes a general semantic framework for precise specification of so-called mediating systems; such systems provide for tight coupling on a global level of a collection of heterogeneous component databases to a federated database. A mediating system maps in a uniform and systematic manner the underlying database schemas of the component systems to a separate, newly defined integrat...
متن کاملAn Incremental OCL Compiler for Modeling Environments
In software engineering, reliability and development time are two of the most important aspects, therefore, modeling environments, which aide both, are widely used during software development. UML and OCL became industry standards, and are supported by many CASE tools. OCL code checking, which has to be performed by these tools, has a specialty, as not all of the information necessary for compi...
متن کامل